Combining deontic and action logics for collective agency
نویسنده
چکیده
. In this paper we address the problem of collective norms, and discuss two action logics for that purpose. The first action logic is based on the action modality Ei, where expressions of the form Eip are read as ‘agent brings about (sees to it) that ’. This operator relates an agent with the effects of his action, and abstracts away details of the specific actions. We will show that this abstraction often leads to an unacceptable level of ambiguity. Therefore we have developed another action logic, which is an extension and a variant of dynamic logic. The extension consists of groups of agents to express collective actions for representing collective norms.
منابع مشابه
Roles, Counts-as and Deontic and Action Logics
• J. Carmo and O. Pacheco, “Deontic and action logics for organized collective agency, modeled through institutionalized agents and roles”, Fundamenta Informaticae, Special Issue on Deontic Logic in Computer Science, Vol 48, Numbers 2,3, pp. 129-163, 2001 • O. Pacheco and J. Carmo, “A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction”, Journa...
متن کاملDeontic and action logics for collective agency and roles
In this paper we address the problem of collective agency, and propose a deontic/action modal logic for that purpose. We argue that once we want to attribute obligations (permissions or other deontic notions) to a set of agents, we need to consider a new agent – an institutionalized agent, and specify how he interacts with the external world: how the obligations flow from the institutionalized ...
متن کاملNon-monotonic reasoning with normative conflicts in multi-agent deontic logic
We present proof-theoretical and semantical characterizations of two multi-agent deontic logics for dealing with normative conflicts. The resulting logics PMDL and PMDL are non-standard in at least two respects. First, they are nonclassical in the sense that they invalidate some inferences of the propositional fragment of Classical Logic (CL). Consequently, they also invalidate certain inferenc...
متن کاملAction negation and alternative reductions for dynamic deontic logics
Dynamic deontic logics reduce normative assertions about explicit complex actions to standard dynamic logic assertions about the relation between complex actions and violation conditions. We address two general, but related problems in this field. The first is to find a formalization of the notion of ‘action negation’ that (1) has an intuitive interpretation as an action forming combinator and ...
متن کاملA Note for Discussion: Treating Disjunctive Obligation and Conjunctive Action in Event Semantics with Disquotation
Standard deontic logics are about what obtains in deontically ideal worlds. Deontic reasoning from the perspective of event semantics and the disquotation (ESD) theory, which we describe briefly, is about individual obligations, permissions, etc. in this, admittedly non-ideal world. Standard deontic logics are beset with a number of puzzling paradoxes and anomalies. Our suggestion here is that ...
متن کامل